home *** CD-ROM | disk | FTP | other *** search
Text File | 1993-10-26 | 449 b | 15 lines | [TEXT/$Tcl] |
-
- flush fileId
-
-
- DESCRIPTION
- Flushes any output that has been buffered for fileId.
- FileId must have been the return value from a previous call
- to open, or it may be stdout or stderr to access one of the
- standard I/O streams; it must refer to a file that was
- opened for writing. The command returns an empty string.
-
-
- KEYWORDS
- buffer, file, flush, output
-